Formal Verification of the AAMP-FV Microcode

This report describes the experiences of Collins Avionics & Communications and SRI International in formally specifying and verifying the microcode in a Rockwell proprietary microprocessor, the AAMP-FV, using the PVS verification system. This project built extensively on earlier experiences using PVS to verify the microcode in the AAMP5, a complex, pipelined microprocessor designed for use in avionics displays and global positioning systems. While the AAMP5 experiment demonstrated the technical feasibility of formal verification of microcode, the steep learning curve encountered left unanswered the question of whether it could be performed at reasonable cost. The AAMP-FV project was conducted to determine whether the experience gained on the AAMP5 project could be used to make formal verification of microcode cost effective for safety-critical and high volume devices

To what extent can decommissioning options for marine artificial structures move us toward environmental targets?

Switching from fossil fuels to renewable energy is key to international energy transition efforts and the move toward net zero. For many nations, this requires decommissioning of hundreds of oil and gas infrastructure in the marine environment. Current international, regional and national legislation largely dictates that structures must be completely removed at end-of-life although, increasingly, alternative decommissioning options are being promoted and implemented. Yet, a paucity of real-world case studies describing the impacts of decommissioning on the environment make decision-making with respect to which option(s) might be optimal for meeting international and regional strategic environmental targets challenging. To address this gap, we draw together international expertise and judgment from marine environmental scientists on marine artificial structures as an alternative source of evidence that explores how different decommissioning options might ameliorate pressures that drive environmental status toward (or away) from environmental objectives. Synthesis reveals that for 37 United Nations and Oslo-Paris Commissions (OSPAR) global and regional environmental targets, experts consider repurposing or abandoning individual structures, or abandoning multiple structures across a region, as the options that would most strongly contribute toward targets. This collective view suggests complete removal may not be best for the environment or society. However, different decommissioning options act in different ways and make variable contributions toward environmental targets, such that policy makers and managers would likely need to prioritise some targets over others considering political, social, economic, and ecological contexts. Current policy may not result in optimal outcomes for the environment or society

Trial Design and Objectives for Castration-Resistant Prostate Cancer: Updated Recommendations From the Prostate Cancer Clinical Trials Working Group 3

Evolving treatments, disease phenotypes, and biology, together with a changing drug development environment, have created the need to revise castration-resistant prostate cancer (CRPC) clinical trial recommendations to succeed those from prior Prostate Cancer Clinical Trials Working Groups

Effects of antiplatelet therapy on stroke risk by brain imaging features of intracerebral haemorrhage and cerebral small vessel diseases: subgroup analyses of the RESTART randomised, open-label trial

Background Findings from the RESTART trial suggest that starting antiplatelet therapy might reduce the risk of recurrent symptomatic intracerebral haemorrhage compared with avoiding antiplatelet therapy. Brain imaging features of intracerebral haemorrhage and cerebral small vessel diseases (such as cerebral microbleeds) are associated with greater risks of recurrent intracerebral haemorrhage. We did subgroup analyses of the RESTART trial to explore whether these brain imaging features modify the effects of antiplatelet therapy

Improved functionalization of oleic acid-coated iron oxide nanoparticles for biomedical applications

Superparamagnetic iron oxide nanoparticles can providemultiple benefits for biomedical applications in aqueous environments such asmagnetic separation or magnetic resonance imaging. To increase the colloidal stability and allow subsequent reactions, the introduction of hydrophilic functional groups onto the particles’ surface is essential. During this process, the original coating is exchanged by preferably covalently bonded ligands such as trialkoxysilanes. The duration of the silane exchange reaction, which commonly takes more than 24 h, is an important drawback for this approach. In this paper, we present a novel method, which introduces ultrasonication as an energy source to dramatically accelerate this process, resulting in high-quality waterdispersible nanoparticles around 10 nmin size. To prove the generic character, different functional groups were introduced on the surface including polyethylene glycol chains, carboxylic acid, amine, and thiol groups. Their colloidal stability in various aqueous buffer solutions as well as human plasma and serum was investigated to allow implementation in biomedical and sensing applications.status: publishe

Resistance to pirimiphos-methyl in West African Anopheles is spreading via duplication and introgression of the Ace1 locus

Vector population control using insecticides is a key element of current strategies to prevent malaria transmission in Africa. The introduction of effective insecticides, such as the organophosphate pirimiphos-methyl, is essential to overcome the recurrent emergence of resistance driven by the highly diverse Anopheles genomes. Here, we use a population genomic approach to investigate the basis of pirimiphos-methyl resistance in the major malaria vectors Anopheles gambiae and A. coluzzii. A combination of copy number variation and a single non-synonymous substitution in the acetylcholinesterase gene, Ace1, provides the key resistance diagnostic in an A. coluzzii population from Coˆte d’Ivoire that we used for sequence-based association mapping, with replication in other West African populations. The Ace1 substitution and duplications occur on a unique resistance haplotype that evolved in A. gambiae and introgressed into A. coluzzii, and is now common in West Africa primarily due to selection imposed by other organophosphate or carbamate insecticides. Our findings highlight the predictive value of this complex resistance haplotype for phenotypic resistance and clarify its evolutionary history, providing tools to for molecular surveillance of the current and future effectiveness of pirimiphos-methyl based interventions

Taxonomy based on science is necessary for global conservation

Peer reviewe

3 years of liraglutide versus placebo for type 2 diabetes risk reduction and weight management in individuals with prediabetes: a randomised, double-blind trial

Background: Liraglutide 3·0 mg was shown to reduce bodyweight and improve glucose metabolism after the 56-week period of this trial, one of four trials in the SCALE programme. In the 3-year assessment of the SCALE Obesity and Prediabetes trial we aimed to evaluate the proportion of individuals with prediabetes who were diagnosed with type 2 diabetes. Methods: In this randomised, double-blind, placebo-controlled trial, adults with prediabetes and a body-mass index of at least 30 kg/m2, or at least 27 kg/m2 with comorbidities, were randomised 2:1, using a telephone or web-based system, to once-daily subcutaneous liraglutide 3·0 mg or matched placebo, as an adjunct to a reduced-calorie diet and increased physical activity. Time to diabetes onset by 160 weeks was the primary outcome, evaluated in all randomised treated individuals with at least one post-baseline assessment. The trial was conducted at 191 clinical research sites in 27 countries and is registered with ClinicalTrials.gov, number NCT01272219. Findings: The study ran between June 1, 2011, and March 2, 2015. We randomly assigned 2254 patients to receive liraglutide (n=1505) or placebo (n=749). 1128 (50%) participants completed the study up to week 160, after withdrawal of 714 (47%) participants in the liraglutide group and 412 (55%) participants in the placebo group. By week 160, 26 (2%) of 1472 individuals in the liraglutide group versus 46 (6%) of 738 in the placebo group were diagnosed with diabetes while on treatment. The mean time from randomisation to diagnosis was 99 (SD 47) weeks for the 26 individuals in the liraglutide group versus 87 (47) weeks for the 46 individuals in the placebo group. Taking the different diagnosis frequencies between the treatment groups into account, the time to onset of diabetes over 160 weeks among all randomised individuals was 2·7 times longer with liraglutide than with placebo (95% CI 1·9 to 3·9, p<0·0001), corresponding with a hazard ratio of 0·21 (95% CI 0·13–0·34). Liraglutide induced greater weight loss than placebo at week 160 (–6·1 [SD 7·3] vs −1·9% [6·3]; estimated treatment difference −4·3%, 95% CI −4·9 to −3·7, p<0·0001). Serious adverse events were reported by 227 (15%) of 1501 randomised treated individuals in the liraglutide group versus 96 (13%) of 747 individuals in the placebo group. Interpretation: In this trial, we provide results for 3 years of treatment, with the limitation that withdrawn individuals were not followed up after discontinuation. Liraglutide 3·0 mg might provide health benefits in terms of reduced risk of diabetes in individuals with obesity and prediabetes. Funding: Novo Nordisk, Denmark

Effect of Hydrocortisone on Mortality and Organ Support in Patients With Severe COVID-19: The REMAP-CAP COVID-19 Corticosteroid Domain Randomized Clinical Trial.

Importance: Evidence regarding corticosteroid use for severe coronavirus disease 2019 (COVID-19) is limited. Objective: To determine whether hydrocortisone improves outcome for patients with severe COVID-19. Design, Setting, and Participants: An ongoing adaptive platform trial testing multiple interventions within multiple therapeutic domains, for example, antiviral agents, corticosteroids, or immunoglobulin. Between March 9 and June 17, 2020, 614 adult patients with suspected or confirmed COVID-19 were enrolled and randomized within at least 1 domain following admission to an intensive care unit (ICU) for respiratory or cardiovascular organ support at 121 sites in 8 countries. Of these, 403 were randomized to open-label interventions within the corticosteroid domain. The domain was halted after results from another trial were released. Follow-up ended August 12, 2020. Interventions: The corticosteroid domain randomized participants to a fixed 7-day course of intravenous hydrocortisone (50 mg or 100 mg every 6 hours) (n = 143), a shock-dependent course (50 mg every 6 hours when shock was clinically evident) (n = 152), or no hydrocortisone (n = 108). Main Outcomes and Measures: The primary end point was organ support-free days (days alive and free of ICU-based respiratory or cardiovascular support) within 21 days, where patients who died were assigned -1 day. The primary analysis was a bayesian cumulative logistic model that included all patients enrolled with severe COVID-19, adjusting for age, sex, site, region, time, assignment to interventions within other domains, and domain and intervention eligibility. Superiority was defined as the posterior probability of an odds ratio greater than 1 (threshold for trial conclusion of superiority >99%). Results: After excluding 19 participants who withdrew consent, there were 384 patients (mean age, 60 years; 29% female) randomized to the fixed-dose (n = 137), shock-dependent (n = 146), and no (n = 101) hydrocortisone groups; 379 (99%) completed the study and were included in the analysis. The mean age for the 3 groups ranged between 59.5 and 60.4 years; most patients were male (range, 70.6%-71.5%); mean body mass index ranged between 29.7 and 30.9; and patients receiving mechanical ventilation ranged between 50.0% and 63.5%. For the fixed-dose, shock-dependent, and no hydrocortisone groups, respectively, the median organ support-free days were 0 (IQR, -1 to 15), 0 (IQR, -1 to 13), and 0 (-1 to 11) days (composed of 30%, 26%, and 33% mortality rates and 11.5, 9.5, and 6 median organ support-free days among survivors). The median adjusted odds ratio and bayesian probability of superiority were 1.43 (95% credible interval, 0.91-2.27) and 93% for fixed-dose hydrocortisone, respectively, and were 1.22 (95% credible interval, 0.76-1.94) and 80% for shock-dependent hydrocortisone compared with no hydrocortisone. Serious adverse events were reported in 4 (3%), 5 (3%), and 1 (1%) patients in the fixed-dose, shock-dependent, and no hydrocortisone groups, respectively. Conclusions and Relevance: Among patients with severe COVID-19, treatment with a 7-day fixed-dose course of hydrocortisone or shock-dependent dosing of hydrocortisone, compared with no hydrocortisone, resulted in 93% and 80% probabilities of superiority with regard to the odds of improvement in organ support-free days within 21 days. However, the trial was stopped early and no treatment strategy met prespecified criteria for statistical superiority, precluding definitive conclusions. Trial Registration: ClinicalTrials.gov Identifier: NCT02735707

Effect of angiotensin-converting enzyme inhibitor and angiotensin receptor blocker initiation on organ support-free days in patients hospitalized with COVID-19

IMPORTANCE Overactivation of the renin-angiotensin system (RAS) may contribute to poor clinical outcomes in patients with COVID-19. Objective To determine whether angiotensin-converting enzyme (ACE) inhibitor or angiotensin receptor blocker (ARB) initiation improves outcomes in patients hospitalized for COVID-19. DESIGN, SETTING, AND PARTICIPANTS In an ongoing, adaptive platform randomized clinical trial, 721 critically ill and 58 non–critically ill hospitalized adults were randomized to receive an RAS inhibitor or control between March 16, 2021, and February 25, 2022, at 69 sites in 7 countries (final follow-up on June 1, 2022). INTERVENTIONS Patients were randomized to receive open-label initiation of an ACE inhibitor (n = 257), ARB (n = 248), ARB in combination with DMX-200 (a chemokine receptor-2 inhibitor; n = 10), or no RAS inhibitor (control; n = 264) for up to 10 days. MAIN OUTCOMES AND MEASURES The primary outcome was organ support–free days, a composite of hospital survival and days alive without cardiovascular or respiratory organ support through 21 days. The primary analysis was a bayesian cumulative logistic model. Odds ratios (ORs) greater than 1 represent improved outcomes. RESULTS On February 25, 2022, enrollment was discontinued due to safety concerns. Among 679 critically ill patients with available primary outcome data, the median age was 56 years and 239 participants (35.2%) were women. Median (IQR) organ support–free days among critically ill patients was 10 (–1 to 16) in the ACE inhibitor group (n = 231), 8 (–1 to 17) in the ARB group (n = 217), and 12 (0 to 17) in the control group (n = 231) (median adjusted odds ratios of 0.77 [95% bayesian credible interval, 0.58-1.06] for improvement for ACE inhibitor and 0.76 [95% credible interval, 0.56-1.05] for ARB compared with control). The posterior probabilities that ACE inhibitors and ARBs worsened organ support–free days compared with control were 94.9% and 95.4%, respectively. Hospital survival occurred in 166 of 231 critically ill participants (71.9%) in the ACE inhibitor group, 152 of 217 (70.0%) in the ARB group, and 182 of 231 (78.8%) in the control group (posterior probabilities that ACE inhibitor and ARB worsened hospital survival compared with control were 95.3% and 98.1%, respectively). CONCLUSIONS AND RELEVANCE In this trial, among critically ill adults with COVID-19, initiation of an ACE inhibitor or ARB did not improve, and likely worsened, clinical outcomes. TRIAL REGISTRATION ClinicalTrials.gov Identifier: NCT0273570